Constructive methods in computing science - international summer school directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
- Författare
- Manfred. Broy NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf)
- (Edited by Manfred Broy., "Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24-August 5, 1988")
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1989 | USA, New York, Berlin | vii, 478 sidor. 25 cm. |